Rethinking safe consistency in distributed object-oriented programming
نویسندگان
چکیده
منابع مشابه
Location Types for Safe Distributed Object-Oriented Programming
In distributed object-oriented systems, objects belong to different locations. For example, in Java RMI, objects can be distributed over different JVM instances. Accessing a reference in RMI has crucial different semantics depending on whether the referred object is local or remote. Nevertheless, such references are not statically distinguished by the type system. This paper presents location t...
متن کاملDistributed object oriented logic programming
In this paper we introduce a programming language/system DK Parlog ++ which is an experimental testbed for distributed applications, particularly distributed AI and distributed knowledge base applications. The language is designed to have the concurrent computation ability of the Concurrent Logic Programming(CLP) languages, the knowledge representation and problem solving ability of Prolog, bot...
متن کاملObject-Oriented Distributed Programming in BETA
This paper describes abstractions that have been designed to support distributed programming in the object oriented programming language BETA. The approach is minimalistic in the sense that a goal is to provide the essential building blocks on top of which other distribution related abstractions may be built. This goal is made easier by demanding for type orthogonal persistence and distribution...
متن کاملObject{Oriented Distributed Programming with Objective Linda
In this paper we introduce the coordination model Objective Linda which has been designed to meet the needs of open distributed systems by rigorously combining object orientation with un-coupled communication. Hierarchical abstractions are provided for structuring large systems. It will be shown that using Objective Linda, interoperability can be achieved between diierent programming languages ...
متن کاملDistributed Reliable Object-Oriented Programming (DROOP)
The Simple Object-Oriented Concurrent Programming (SCOOP) model proposed by Bertrand Meyer and illustrated through the Eiffel programming language is a simple yet powerful model for concurrent programming. In this paper, we analyze the applicability of the SCOOP model to physically distributed systems manifesting transient and permanent failures. We suggest additions to the basic SCOOP model in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2020
ISSN: 2475-1421
DOI: 10.1145/3428256